Lawvere's fixed-point theorem #incomplete Reference https://ncatlab.org/nlab/show/Lawvere's+fixed+point+theorem https://en.wikipedia.org/wiki/Lawvere's_fixed-point_theorem